Add margin and alignment properties to GtkWidget
authorHavoc Pennington <hp@pobox.com>
Sun, 5 Sep 2010 16:21:27 +0000 (12:21 -0400)
committerHavoc Pennington <hp@pobox.com>
Mon, 13 Sep 2010 01:47:10 +0000 (21:47 -0400)
commit474f80442a6f3cf72a3c3b9efc5a846e7664d758
treec334cb64842974cfad2738a4b2dee771329d8a9d
parent85735112d79ff976597d2b4887162b3a07fb19f1
Add margin and alignment properties to GtkWidget

h-align = START,END,CENTER,FILL
v-align = START,END,CENTER,FILL
margin-left,right,top,bottom
margin

These should obsolete all such similar properties on
layout containers, GtkMisc, GtkAlignment, GtkContainer::border-width

Margin is outside the size request.
If margin were not outside the set_size_request() it would not work the
same way as container-supplied (child property) padding.

Conceptually set_size_request() forces the value from the subclass
(the original unadjusted request) and then we go on to adjust
the request further by adding the margin.
gtk/gtkenums.h
gtk/gtkwidget.c
gtk/gtkwidget.h